/  <  Computer  <  Platform  <  PC, IBM compatible  <  BIOS  <  EFI, Extensible Firmware Interface  <  Specifications  <  EDK, development kit  <  Source code